using System;
using System.Collections;
using System.Collections.Generic;

namespace SmallStepSemanticCsharp
{
    class DoNothing : Statement
    {
        public override bool IsNop(Statement stmt)
        { return (stmt is DoNothing); }
        public override bool reducible()
        { return false; }
        public override string ToString()
        {
            return "DoNothing";
        }
    }
}